The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Richard Bubel Books

Results for Richard Bubel

Showing 1 to 2 of 2 results
Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science) Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science) by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich

Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)

by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich


ISBN 13: 9783319498119

Format: Paperback (736 pages)
Publisher: Springer
Published: 21 Dec 2016

Save for later

 
New : $122.35  
New : $122.35
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360) by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen


ISBN 13: 9783031081651

Format: Paperback (533 pages)
Publisher: Springer
Published: 16 Jun 2022

Save for later

 
New : $98.95  
New : $98.95